碱渣用作砂浆保水剂的试验研究

碱渣是氨碱法制纯碱排出的废渣,其堆存和排放造成严重的环境问题。通过对原状碱渣采取工艺处理得到较低氯离子含量的水洗碱渣和除氯碱渣,研究了原状碱渣、水洗碱渣、除氯碱渣应用于砂浆时对其性能的影响及除氯碱渣用作砂浆保水剂的可行性。结果表明,各类碱渣取代15%粉煤灰均有利于提高砂浆的保水性,但原状碱渣及水洗一次碱渣掺入砂浆后氯离子溶出含量偏高,可能造成耐久性问题;而除氯碱渣不会有耐久性问题,可以作为砂浆保水剂。除氯碱渣用作砂浆保水剂使用时,砂浆具有良好的保水性能、力学性能和较低的干缩值。其较佳的应用方式为:碱渣取代胶凝材料中的部分粉煤灰,在不改变水胶比的前提下,加入减水剂来调节砂浆稠度,无需复合有机保水剂。     

影响塑料食品包装溶剂残留量的因素

通过连续3 年对济宁市食品塑料包装企业产品质量的抽查,发现了食品塑料包装中存在溶剂残留量(苯量)超标的问题,通过对各家企业生产工艺的追踪调查,系统地提出了在生产工艺包括印刷过程、干式复合过程以及熟化过程中,影响塑料食品包装溶剂残留量的因素,并提出了相应的预防改善措施。     

新型Rabin签名方案

提出一种基于二次剩余问题的新型Rabin签名方案.该方案对明文空间几乎没有限制,可能抵 抗选择密文攻击,其描述也更为简单,同时还具有更高的实现效率,在签名检验时仅需作一次 模乘运算.     

Classifying and Formally Verifying Integer Constant Folding

Constant folding is a well-known optimization of compilers which evaluates constant expressions already at compile time. Constant folding is valid only if the results computed by the compiler are exactly the same as the results which would be computed at run-time by the target machine arithmetic. We classify different arithmetics by deriving a general condition under which a target-machine arithmetic can be replaced by a compiler arithmetic. Furthermore, we consider integer arithmetics as a special case. They can be described by residue class arithmetics. We show that these arithmetics form a lattice. Using the order relation in this lattice, we establish a necessary and sufficient criterion under which constant folding can be done in a residue class arithmetic that is different from the one of the target machine. Concerning formal verification, we have formalized our proofs in the Isabelle/HOL system. As examples, we discuss the Java and C integer arithmetics and show which compiler arithmetics are valid for constant folding. This discussion reveals also potential sources of incorrect behavior of C compilers.     

高冰镍浸出渣还原浸出工艺研究

以湿法冶炼高冰镍过程中产生的高冰镍浸出渣为研究对象,采用二氧化硫对高冰镍渣加压还原浸出,考察了初始硫酸浓度、液固比、通气方式、浸出温度和浸出时间对高冰镍渣还原浸出过程铜、铁行为的影响;对还原浸出液采用置换沉淀和冷冻结晶的方法,对还原浸出中铜和铁进行分离回收。结果表明：在初始硫酸浓度100 g/L、液固比6 mL/g、反应时间3 h、反应温度90℃、二氧化硫分压0.15 MPa的条件下,铁和铜的浸出率分别为99.35%、77.46%,浸出液中铁几乎全部为亚铁离子;在硫酸含量20～30 g/L、温度70℃、铁粉加入量5.7 g/L、反应时间40 min的条件下,对还原浸出液进行置换沉铜,沉铜率达到了99.70%,渣含铜为67.91%。在温度—10℃、保温时间20～30 min、初始硫酸浓度100 g/L的条件下,对沉铜后液进行冷冻结晶制备硫酸亚铁,铁沉淀率达到了72.6%,七水硫酸亚铁纯度达到了92.93%。     

抑制联络线振荡的广域阻尼控制

广域阻尼控制为提高互联系统区间振荡模式的阻尼特性提供了新途径。为研究广域阻尼控制反馈信号和控制器安装点的优化选择,应用特征根分析法和传统控制理论,以 IEEE 10 机39 母线系统为例,分析了多机系统振荡功率在网络中的分布特征。由于良好信号能量和信噪比,区间振荡模式的联络断面振荡功率可为广域阻尼控制器优选反馈信号;阻尼控制器安装点的优化能够利用发电机至联络断面之间的传递函数模型,通过机电模式的留数和留数比确定。进而针对互联系统,给出了的结合特征根分析法和系统辨识技术的反馈信号选择与广域阻尼控制器布点的一般流程,改善了大系统的计算复杂性。     

乳化技术在重油催化裂化中的应用

结合乳化油燃烧中的“微爆”理论,使用含有锑基钝化剂的复合型非离子表面活性剂对重质原料油进行乳化,在改善原料油雾化效果,提高重质油汽化程度的同时抑制重金属镍对催化剂活性和选择性的破坏作用,提高了重质原料油的裂化深度,改善了产品分布、液化气和汽油收率上升,高价值产品收率上升3%,重油收率明显下降,干气和焦炭收率相差不大,产品汽油中烯烃含量下降较大,而辛烷值保持不变,乳化剂和钝化剂的结合使用是提高重油催化裂化能力的良好方法。     

基子光谱差分吸收技术的农药残留检测研究

针对国内主要食品中广泛存在的农药残留带来的食品安全问题,研究一种方便快捷且成本适宜的检测技术,具有重要的意义。目前,已有相关实验将光谱吸收技术用于食品农药残留检测,但是,对于定量检测及测量精度方面该实验还存在一些不足。本文基于差分吸收技术,采用荷兰Avantes公司的微型光纤光谱仪以及分光光度计,进行了相关实验,实现了对敌敌畏水剂农药的定量测量,从而对基于光谱吸收技术的农药残留检测技术进行了完善,使其更加适合实际应用。     

相似图像块逼近的人脸超分重建残差补偿框架

为了提高人脸图像超分辨率重建算法中残差补偿步骤的效果,提出一种通用的基于内容相似图像块线性组合逼近的残差补偿框架,不经过搜索步骤,使用训练集人脸图像同一内容的图像块来进行运算。所提框架中的全局重建步骤,可以使用不同的重建方法。实验结果表明,在这种框架下的残差补偿方法,相比经典的邻域嵌入残差补偿方法,可以更好地恢复出初步重建的人脸图像细节信息。因为这是一种通用的残差补偿方法,从而可以推测凡使用邻域残差补偿的算法,均可借助本算法框架将重建结果进一步的提升。     

高铁赤泥中铝的赋存状态及铝铁分离技术研究

针对拜耳法高铁赤泥无害化处置与资源化利用难题,研究了高铁赤泥中铝的赋存状态及其对铝铁分离的影响。借助XRD、铁化学物相分析、SEM-EDS等检测手段,主要关注高铁赤泥的化学组成、矿物组成以及铝的赋存状态等工艺矿物学特征。赤泥的主要组成矿物为褐铁矿、赤铁矿和铝针铁矿和钛铁矿。查明赤泥中的铁主要以针铁矿、赤铁矿的形式存在;铝主要以类质同象存在于针铁矿中,形成铝针铁矿,部分以三水铝石的形式存在,铁铝共生关系密切。赋存于针铁矿中的铝采用常规物理分选方法无法实现铝铁分离,利用磁化焙烧和悬浮焙烧预还原-电炉熔炼工艺分别尝试对高铁赤泥进行铝铁分离,磁化焙烧能够实现赤铁矿、针铁矿向磁铁矿的定向转化,但不能有效破坏铁矿物中铝的类质同象结构,无法实现铝和铁的分离,导致磁选铁精矿中TFe品位低、Al2O3含量高;悬浮焙烧预还原-电炉熔炼工艺能有效实现高铁赤泥的铁铝分离与综合利用,当原料TFe品位为46.85%、Al2O3含量为13.31%时,可获得TFe 92.86%的炼钢用生铁,同时所得到的矿渣产品可以作为生产铝酸盐水泥熟料的原料。可见,悬浮焙烧预还原-电炉熔炼工艺可以有效破坏矿石内部铝和铁类质同象的晶格结构,实现了铝铁的高效分离,为高铁赤泥的无害化处置与资源化利用提供了新途径。